declarative semantics

declarative semantics
декларативная семантика - см. functional semantics

Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.

Игры ⚽ Нужен реферат?

Смотреть что такое "declarative semantics" в других словарях:

  • Declarative memory — (sometimes referred to as explicit memory) is one of two types of long term human memory. It refers to memories which can be consciously recalled such as facts and knowledge.[1] Its counterpart is known as non declarative or Procedural memory,… …   Wikipedia

  • Semantics of Business Vocabulary and Business Rules — The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for a formal and detailed natural language declarative description of a complex entity, such as a… …   Wikipedia

  • Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… …   Wikipedia

  • Generative semantics — is (or perhaps was) a research program within linguistics, initiated by the work of various early students of Noam Chomsky: John R. Ross, Paul Postal and later James McCawley. George Lakoff was also instrumental in developing and advocating the… …   Wikipedia

  • Truth-conditional semantics — is an approach to semantics of natural language that sees the meaning of a sentence being the same as, or reducible to, the truth conditions of that sentence. This approach to semantics is principally associated with Donald Davidson, and carries… …   Wikipedia

  • Tefkat — is a Model Transformation Language and a model transformation engine. The language is based on F logic and the theory of stratified logic programs. The engine is an Eclipse plug in for the Eclipse Modeling Framework (EMF). History Tefkat was one… …   Wikipedia

  • Knowledge Interchange Format — KIF is also the IATA code for Kingfisher Lake Airport. Knowledge Interchange Format (KIF) is a computer oriented language for the interchange of knowledge among disparate computer programs. It has declarative semantics (i.e. the meaning of… …   Wikipedia

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Proposition — This article is about the term in logic and philosophy. For other uses, see Proposition (disambiguation). In logic and philosophy, the term proposition refers to either (a) the content or meaning of a meaningful declarative sentence or (b) the… …   Wikipedia

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»